#include "proc.h"
#include "vga.h"
#include "typedef.h"

// running counter of proc id's
static u32 proc_counter = 0;
proc_list_t cur_proc = 0;

void init_proc() {
  cur_proc = kmalloc(sizeof(proc_list_t));
} 
